выполнимость - перевод на Английский
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

выполнимость - перевод на Английский

Выполнимость; Задача SAT; Задача ВЫП; 3-SAT; 3SAT

выполнимость         
f.
realizability, practicability, feasibility, satisfiability
satisfiability         
ELEMENTARY CONCEPT OF SEMANTICS
Satisfiability problem; Satisfiable; Unsatisfiable; Satisfiability and validity; Satisfiability (logics); Finite satisfiability (logics)

общая лексика

выполнимость

formula satisfiability      

математика

выполнимость формулы

Определение

выполнимость
ж.
Отвлеч. сущ. по знач. прил.: выполнимый.

Википедия

Задача выполнимости булевых формул

Зада́ча выполни́мости бу́левых фо́рмул (SAT, ВЫП) — важная для теории вычислительной сложности алгоритмическая задача.

Экземпляром задачи является булева формула, состоящая только из имён переменных, скобок и операций {\displaystyle \wedge } (И), {\displaystyle \vee } (ИЛИ) и ¬ {\displaystyle \neg } (HE). Задача заключается в следующем: можно ли назначить всем переменным, встречающимся в формуле, значения ложь и истина так, чтобы формула стала истинной.

Согласно теореме Кука, доказанной Стивеном Куком в 1971 году, задача SAT для булевых формул, записанных в конъюнктивной нормальной форме, является NP-полной. Требование о записи в конъюнктивной форме существенно, так как, например, задача SAT для формул, представленных в дизъюнктивной нормальной форме, тривиально решается за линейное время в зависимости от размера записи формулы (для выполнимости формулы требуется только наличие хотя бы одной конъюнкции, не содержащей одновременно x {\displaystyle x} и отрицание ¬ x {\displaystyle \neg x} для некоторой переменной x {\displaystyle x} ).

Примеры употребления для выполнимость
1. В выполнимость первого условия я уже почти не верю.
2. Точнее, если начинает ему проигрывать, перестает верить в выполнимость миссии.
3. Официально аналитики и участники рынка отказываются комментировать выполнимость этих планов.
4. Теперь выполнимость инфляционного плана берет под сомнение и Минфин.
5. Выполнимость этой задачи прямо зависит от того, насколько глубоким окажется кризис и когда он закончится.
Как переводится выполнимость на Английский язык